1. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
2. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
المؤلف: Petr Hajek )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
3. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
المؤلف: Petr Hajek )ed.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
4. Handbook of Set Theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
5. Logic, Language, and Probability :
المؤلف: edited by Radu J. Bogdan, Ilkka Niiniluoto.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
6. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
7. The limits of science; outline of logic and of the methodology of the exact sciences.
المؤلف: Chwistek, Leon
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
8. The limits of science;outline of logic and of the methodology of the exact sciences
المؤلف: By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
9. The limits of science; outline of logic and of the methology of the exact science
المؤلف: / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
10. Visualization, Explanation and Reasoning Styles in Mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
